Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
91	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
92	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
93	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
94	An Observational Theory of Imperative Concurrent Data Structures in the π-Calculus Luca Fossati Kohei Honda Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:42:39 Concurrency control Synchronization Concurrent computing Theoretical computer science Π-calculus Non-blocking algorithm Parallel computing Concurrent data structure Calculus Process calculi Computing Concurrency
95	Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:33:13 Type system Model checking Calculus Applied mathematics Computer science Mathematics Process calculi Theoretical computer science Π-calculus
96	Concurrency, Robotics, and RoboDeb Christian L. Jacobsen and Matthew C. Jadud University of Kent Canterbury, Kent CT2 7NF UK Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Procedural programming languages Occam Process calculi Transterpreter Communicating sequential processes Transputer Lego Mindstorms SR Computing Concurrent computing Computer programming
97	October 1, Canadian Anti-Doping Program Cover Letter Dear Stakeholder, We are pleased to share with you the final version of the 2015 Canadian Anti-Doping Program (CADP). The CADP is compliant with the World A Add to Reading List Source URL: www.cces.ca Language: English - Date: 2014-10-01 12:16:50 Concurrency control Process calculi Synchronization Construction and Analysis of Distributed Processes Human behavior Christ Church Episcopal School World Anti-Doping Agency Use of performance-enhancing drugs in sport Adoption Drugs in sport Sports Concurrency
98	Programming Erlang, Second Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-10-08 20:01:55 Ericsson Erlang Programming paradigms Concurrent computing Process calculi Communicating sequential processes Object-oriented programming Init Parallel computing Computing Computer programming Software engineering
99	The Network as a Language Construct Tony Garnock-Jones1 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Northeastern University, Boston, Massachusetts, USA 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Valuation Mathematics Process calculi Theoretical computer science Π-calculus
100	Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K. Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2011-08-31 13:43:14 Process calculi Actor model Communicating sequential processes Process calculus Synchronous programming language Communications protocol Consensus Message passing Asynchrony Computing Concurrent computing Concurrency

UPDATE